inferred type predicates